Iterations and fixpoints
نویسندگان
چکیده
منابع مشابه
Fixpoints and Bounded Fixpoints for Complex Objects
We investigate a query language for complex-object databases, which is designed to (1) express only tractable queries, and (2) be as expressive over flat relations as first order logic with fixpoints. The language is obtained by extending the nested relational algebra NRA with a "bounded fixpoint" operator. As in the flat case, all PTime computable queries over ordered databases are expressible...
متن کاملGrounded Fixpoints
Algebraical fixpoint theory is an invaluable instrument for studying semantics of logics. For example, all major semantics of logic programming, autoepistemic logic, default logic and more recently, abstract argumentation have been shown to be induced by the different types of fixpoints defined in approximation fixpoint theory (AFT). In this paper, we add a new type of fixpoint to AFT: a ground...
متن کاملFast and Simple Nested Fixpoints
We give an alternative proof of the result of Long et al. in 12] that nested xpoint expressions e of alternation depth d > 1 can be evaluated over a complete lattice of height h in time O(d(hjej d?1) dd=2e+1). The advantage of our proof is that it is both extremely short and extremely simple.
متن کاملModel checking knowledge and fixpoints
We study the model checking problem for finitely-generated synchronous/asynchronous environments with/without perfect recall for fusions of propositional logics of knowledge, common knowledge, branching time and fixpoint calculus.
متن کاملGames through Nested Fixpoints
In this paper we consider two-player zero-sum payoff games on finite graphs, both in the deterministic as well as in the stochastic setting. In the deterministic setting, we consider total-payoff games which have been introduced as a refinement of mean-payoff games [18, 10]. In the stochastic setting, our class is a turn-based variant of liminf-payoff games [15, 16, 4]. In both settings, we pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1977
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1977.68.73